Essential and Mandatory Part-Whole Relations in Conceptual Data Models
نویسندگان
چکیده
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential and mandatory parts. To solve this problem, we formally characterize the semantics of these shareability notions by resorting to the temporal conceptual model ERV T and its formalization in the description logic DLRUS .
منابع مشابه
Essential , mandatory , and shared parts in conceptual data models ?
This chapter focuses on formally representing life cycle semantics of part-whole relations in conceptual data models by utilizing the temporal modality. We approach this by resorting to the temporal conceptual data modeling language ERV T and extend it with the novel notion of status relations. This enables a precise axiomatization of the constraints for essential parts and wholes compared to m...
متن کاملFormalising Temporal Constraints on Part-Whole Relations
Representing part-whole relations and effectively using them in domain ontologies and conceptual data models poses multiple challenges. In this paper we face the issue of imposing temporal constraints on part-whole relationships, introducing a way to account for essential and immutable parts (and wholes) in addition to the usual mandatory parts (and wholes). Our approach is based on i) an expli...
متن کاملPart-Whole Relations in Object-Role Models
Representing parthood relations in ORM has received little attention, despite its added-value of the semantics at the conceptual level. We introduce a high-level taxonomy of types of meronymic and mereological relations, use it to construct a decision procedure to determine which type of part-whole role is applicable, and incrementally add mandatory and uniqueness constraints. This enables the ...
متن کاملRepresenting and reasoning over a taxonomy of part-whole relations
Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and int...
متن کاملThe Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited
Parthood is a relation of fundamental importance in a number of disciplines including cognitive science, linguistics and conceptual modeling. However, one classical problem for conceptual modeling theories of parthood is deciding on the transitivity of these relations. This issue is of great importance since transitivity plays a fundamental role both conceptually (e.g., to afford inferences in ...
متن کامل